Subset-Simulation as Minimality Criterion
نویسندگان
چکیده
We present a new kind of simulation with the aim of using it as minimality criterion for models of modal logics. We discuss such minimality criterion by comparing it with minimal modal Herbrand models. Even though our final goal is the automated generation of minimal models through a tableau-based method, this paper is on a theoretical level and does not aim to propose algorithms on how to generate such
منابع مشابه
Minimal Models Modulo Subset-Simulation for Modal Logics
In this abstract we present a novel minimality criterion for models of propositional modal logics, and we sketch a tableau calculus for the generation of minimal models based on this new minimality criterion.
متن کاملComputing Minimal Models Modulo Subset-Simulation for Modal Logics
In this paper we propose a novel minimality criterion for models of modal logics based on a variation of the notion of simulation, called subset-simulation. We present a minimal model sound and complete tableau calculus for the generation of this new kind of minimal models for the multi-modal logic K(m), and we discuss extensions to cover more expressive logics. The generation of minimal models...
متن کاملA Second Order Local Minimality Criterion for the Triple Junction Singularity of the Mumford-shah Functional
This paper is the first part of an ongoing project aimed at providing a local minimality criterion, based on a second variation approach, for the triple point configurations of the Mumford-Shah functional.
متن کاملRELIABILITY–BASED DESIGN OPTIMIZATION OF CONCRETE GRAVITY DAMS USING SUBSET SIMULATION
The paper deals with the reliability–based design optimization (RBDO) of concrete gravity dams subjected to earthquake load using subset simulation. The optimization problem is formulated such that the optimal shape of concrete gravity dam described by a number of variables is found by minimizing the total cost of concrete gravity dam for the given target reliability. In order to achieve this p...
متن کاملSaarbrücken Germany
Minimal resolution restricts the applicability of resolution and factorization to minimal literals. Minimality is an abstract criterion. It is shown that if the minimality criterion satisfies certain properties, minimal resolution is sound and complete. Hyper-resolution, ordered resolution and lock resolution are known instances of minimal resolution. We also introduce new instances called list...
متن کامل